Generating ultrafilters in a reasonable way
نویسندگان
چکیده
منابع مشابه
Reasonable Ultrafilters, Again
We continue investigations of reasonable ultrafilters on uncount-able cardinals defined in Shelah [8]. We introduce stronger properties of ul-trafilters and we show that those properties may be handled in λ–support iterations of reasonably bounding forcing notions. We use this to show that consistently there are reasonable ultrafilters on an inaccessible cardinal λ with generating system of siz...
متن کاملThe Combinatorics of Reasonable Ultrafilters
We are interested in generalizing part of the theory of ultrafilters on ω to larger cardinals. Here we set the scene for further investigations introducing properties of ultrafilters in strong sense dual to being normal. 0. Introduction A lot of knowledge has been accumulated on ultrafilters on ω. In the present paper we are interested in carrying out some of those arguments for ultrafilters on...
متن کاملAuditdraw: Generating Audits the FAST Way
Through a research/development collaboration, we have applied the FAST domain engineering process to the audits software in Lucent Technologies' 5ESS telephone switching system. Our collaboration has developed an application-oriented language, toolset, and accompanying process for specifying the requirements and generating the code for the 5ESS audits software. We describe the FAST process, our...
متن کاملA Few Special Ordinal Ultrafilters
We prove various results on the notion of ordinal ultraaters introduced by J. Baumgartner. In particular, we show that this notion of ultraalter complexity is independent of the more familiar Rudin-Keisler ordering. 1. Introduction Interesting ultraalters are those comprising rich combinatorial properties of some sort. Traditional criterions consist of partition relations on the natural numbers...
متن کاملUltrafilters over a Measurable Cardinal
The extensive theory that exists on ~ca, the set of uitrafilters ov-.r the integers, suggests an analogous study of the family of g-complete ultrafih~rs over a measurable cardinal g > w. This paper is devoted to such a study, with emphasis on those aspects which make the uncountable case interesting and distinctive. Section 1 is a preliminary section, recapitulating some knov, n concepts and re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MLQ
سال: 2008
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.200610055